home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.xa;
-
- import com.extensibility.app.BaseUndoable;
- import com.extensibility.app.BaseWindow;
- import com.extensibility.app.UI;
- import com.extensibility.xml.ExternalPEDeclaration;
- import com.extensibility.xml.URI;
-
- public class OverviewPane$AddModuleUndoable extends BaseUndoable {
- // $FF: synthetic field
- final OverviewPane this$0;
- URI uri;
- URI intoURI;
- String name;
- ExternalPEDeclaration xpe;
-
- public OverviewPane$AddModuleUndoable(OverviewPane var1, BaseWindow var2, URI var3, URI var4, String var5) {
- super(var2);
- this.this$0 = var1;
- this.uri = var3;
- this.intoURI = var4;
- this.name = var5;
- }
-
- public String getPresentationName() {
- return UI.getString("undo.overview.include");
- }
-
- public void undo() {
- super.undo();
- this.this$0.doRemoveDecl(this.xpe);
- this.xpe = null;
- }
-
- public void doCommand() {
- this.xpe = this.this$0.doAddModule(this.uri, this.intoURI, this.name);
- }
-
- public void redo() {
- super.redo();
- this.doCommand();
- }
- }
-